Logic Control - PDFSEARCH.IO - Document Search Engine

Logic Control
Results: 840

#	Item
411	AVACS – Automatic Verification and Analysis of Complex Systems REPORTS of SFB/TR 14 AVACS Editors: Board of SFB/TR 14 AVACS Add to Reading List Source URL: www.avacs.org Language: English - Date: 2011-01-07 05:03:40 European Rail Traffic Management System Logic in computer science Applied mathematics European Train Control System Predicate logic Formal methods First-order logic Formal verification Control theory Train protection systems Logic Mathematical logic
412	Hindawi Publishing Corporation Applied Computational Intelligence and Soft Computing Volume 2013, Article ID[removed], 8 pages http://dx.doi.org[removed][removed]Research Article Add to Reading List Source URL: downloads.hindawi.com Language: English - Date: 2014-05-08 03:49:01 Mathematical analysis Partial differential equation Fuzzy control system Ordinary differential equation Fuzzy set Differential equation Exact solutions in general relativity Numerical analysis Interval finite element Fuzzy logic Mathematics Logic
413	Hindawi Publishing Corporation Advances in Mathematical Physics Volume 2014, Article ID[removed], 9 pages http://dx.doi.org[removed][removed]Research Article Add to Reading List Source URL: downloads.hindawi.com Language: English - Date: 2014-08-28 08:11:42 Fractional calculus Fuzzy logic Differential calculus Dynamical systems Differintegral Fractional dynamics Fuzzy control system Lotfi A. Zadeh Differential equation Mathematical analysis Calculus Mathematics
414	Electronic Communications of the EASST Volume ? (2009) Proceedings of the Ninth International Workshop on Automated Verification of Critical Systems Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2009-09-16 11:46:54 Conditional Combinatory logic C syntax Software engineering Computer programming Computing Control flow
415	Microsoft Word - EFUNN2011_2_DDI comments.doc Add to Reading List Source URL: downloads.hindawi.com Language: English - Date: 2014-08-14 09:16:45 Science Artificial neural network Perceptron Multilayer perceptron Backpropagation Fuzzy control system Artificial neuron Supervised learning Fuzzy logic Neural networks Machine learning Cybernetics
416	Evaluation of an adaptive algorithm for fuzzy type-2 control in blood pressure regulation Nicole Sprunk, Alejandro Mendoza Garcia, Robert Bauernschmitt, Alois Knoll Technische Universit¨at M¨unchen, Insititute of Robot Add to Reading List Source URL: www6.in.tum.de Language: English - Date: 2013-05-15 08:23:51 Type-2 fuzzy sets and systems Fuzzy control system Defuzzification Fuzzy set Membership function Control theory Fuzzy rule Neuro-fuzzy Fuzzy logic Logic Mathematical logic
417	Logical Verification and Systematic Parametric Analysis in Train Control? Andr´e Platzer and Jan-David Quesel University of Oldenburg, Department of Computing Science, Germany {platzer\|quesel}@informatik.uni-oldenburg.d Add to Reading List Source URL: symbolaris.com Language: English - Date: 2014-08-04 10:07:19 Rail transport European Rail Traffic Management System European Train Control System Theoretical computer science Railway signalling Model checking KeY First-order logic Correctness Transport Train protection systems Land transport
418	Microsoft Word - Session O5-002.doc Add to Reading List Source URL: eprints.utm.my Language: English - Date: 2010-05-31 22:49:09 Automation Knowledge Problem-based learning Ladder logic Programmable logic controller Control system SCADA E-learning Problem solving Education Technology Educational psychology
419	Winterm Integrated Terminals Model 3720SE THIS FULLY INTEGRATED WINDOWS-BASED TERMINAL HAS THE MONITOR AND LOGIC BOARD BUILT INTO ONE UNIT PROVIDING EASY ACCESS TO BUSINESS-CRITICAL APPLICATIONS. IT IS THE Add to Reading List Source URL: wyse.vecmar.com Language: English - Date: 2004-03-10 14:33:29 System software Citrix Systems Citrix XenApp Citrix WinFrame Independent Computing Architecture Thin client Windows NT Remote Desktop Protocol Goverlan Remote Control Software Remote desktop Software Computing
420	A BIMBA WHITEPAPER[removed]Make the “Switch” Away from Timers The Proper Use of Switches and Timers Add to Reading List Source URL: www.bimba.com Language: English - Date: 2013-05-02 16:49:45 Electrical engineering Electrical components Clocks Home automation Timer Programmable logic controller Railroad switch Miniature snap-action switch Network switch Control engineering Switches Technology

UPDATE